Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
241	GUI Modeling and Simulation Environment for Developing and Deploying Scientific and Engineering Simulators without Writing Any Graphical User Interface Code Why SansGUI? Add to Reading List Source URL: www.protodesign-inc.com Language: English - Date: 2010-09-24 00:59:30 Computing Operations research Simulation Microsoft Flight Simulator Microsoft games Windows games Robotics simulator Network simulation Software Electronic design automation Application software
242	WSC' 03 Sample Paper Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 21:51:23 Integrated circuits Electronic design Mathematical optimization Placement Physical design Integrated circuit design Floorplan Simulated annealing Very-large-scale integration Electronic engineering Electronic design automation Electronics
243	Microsoft Word - 2_28_Subhasish_Mitra_ABSTRACT_BIO.docx Add to Reading List Source URL: inc11.org Language: English - Date: 2015-04-13 05:43:26 Engineering Electronics Design Automation Conference Institute of Electrical and Electronics Engineers Very-large-scale integration Special Interest Group on Design Automation IEEE Council on Electronic Design Automation IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Carbon nanotube Electronic engineering International nongovernmental organizations Professional associations
244	MPR-50 Multi-Port Router Quick Start Guide 1. Mount MPR-50 and connect power 1. Mount on 35mm DIN rail, or on wall with screws using key holes on back. 2. Connect earth ground to terminal 3. Add to Reading List Source URL: www.echelon.com Language: English - Date: 2015-04-23 10:02:47 Router LonWorks Technology Echelon Corporation Screw terminal Network switch Electrical engineering Electronic engineering Electronic design automation Routing
245	νZ - An Optimizing SMT Solver Nikolaj Bjørner1 , Anh-Dung Phan2 , and Lars Fleckenstein3 1 Microsoft Research, Redmond, WA, USA DTU Compute, Technical University of Denmark Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-01-22 06:10:53 Operations research Constraint programming Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Mathematical optimization Linear programming Boolean satisfiability problem Theoretical computer science Applied mathematics Mathematics
246	Engineering Theories with Z3? Nikolaj Bjørner Microsoft Research Abstract. Modern Satisfiability Modulo Theories (SMT) solvers are Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-10-17 17:03:30 Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Vehicle Identification Number Theoretical computer science Applied mathematics Electronic design automation
247	Professional magazine devoted to development and manufacturing in the area of electronics Electronics from A to Z Add to Reading List Source URL: www.dps-az.cz Language: English - Date: 2013-08-29 04:58:38 Electronic design Prototype PCB Polychlorinated biphenyl Electronics DesignSpark PCB Printed circuit board Electronic design automation Electronic engineering Technology
248	AMD 22V10 PAL Oral History Panel; Add to Reading List Source URL: archive.computerhistory.org Language: English - Date: 2013-03-11 18:46:19 Programmable Array Logic Monolithic Memories Programmable logic device Advanced Micro Devices PALASM Microprocessor Logic gate Integrated circuit Digital electronics Electronic engineering Electronic design automation Fabless semiconductor companies
249	Resourceful Reachability as HORN-LA Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, and Christoph M. Wintersteiger Microsoft Research, University of Kent Abstract. The program verification tool SLAyer us Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:15 Electronic design automation Formal methods Logic in computer science NP-complete problems Vehicle Identification Number Satisfiability Modulo Theories FO Kripke semantics Theoretical computer science Mathematical logic Logic
250	CS61CL Machine Structures Lec 8 – State and Register Transfers David Culler Electrical Engineering and Computer Sciences University of California, Berkeley Add to Reading List Source URL: inst.eecs.berkeley.edu Language: English - Date: 2009-10-21 17:45:09 Electronic design Combinational logic Logic in computer science C31 Adder B31 Propagation delay F9 Electronic engineering Digital electronics Electronic design automation

UPDATE